منابع مشابه
The Tree Width of Automata with Auxiliary Storage
We propose a generalization of results on the decidability of emptiness for several restricted classesof sequential and distributed automata with auxiliary storage (stacks, queues) that have recently beenproved. Our generalization relies on reducing emptiness of these automata to finite-state graph au-tomata (without storage) defined on monadic second-order (MSO) definable graphs of...
متن کاملDecidability Results for Well-Structured Transition Systems with Auxiliary Storage
We consider the problem of verifying the safety of wellstructured transition systems (WSTS) with auxiliary storage. WSTSs with storage are automata that have (possibly) infinitely many control states along with an auxiliary store, but which have a well-quasi-ordering on the set of control states. The set of reachable configurations of the automaton may themselves not be well-quasi-ordered becau...
متن کاملABC of medical computing. Computers in general practice--II.
Computerised appointment system. Computerised appointment systems offer great flexibility in making and checking appointments but have to be extremely well written to be more usable than the traditional appointment book at the reception desk. One strength of the book is that it readily allows the receptionist an overview of activity in the practice, whereas computerised systems often show just ...
متن کاملData Storage in Cloud Computing
With the development of cloud computing, outsourcing data to cloud server attracts lots of attentions. To guarantee the security and achieve flexibly fine-grained file access control, attribute based encryption (ABE) was proposed and used in cloud storage system. However, user revocation is the primary issue in ABE schemes. In this article, we provide a ciphertextpolicy attribute based encrypti...
متن کاملHitachi Storage Solution for Cloud Computing -Hitachi Virtual Storage Platform-
INTRODUCTION THE amount of data handled within companies has been growing rapidly in recent years against a background in which increased use is being made of documents, images, video, and other forms of unstructured data. Steps are needed to cope with these data volumes, which are set to keep on increasing. Moreover, with the economic recession driving down IT (information technology) budgets,...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: BMJ
سال: 1983
ISSN: 0959-8138,1468-5833
DOI: 10.1136/bmj.286.6382.1952